| author | George Sapkin <[email protected]> | |
| Tue, 25 Nov 2025 21:41:37 +0000 (23:41 +0200) | ||
| committer | Paul Donald <[email protected]> | |
| Mon, 15 Dec 2025 13:11:11 +0000 (14:11 +0100) | ||
| commit | 6b45572ea48151a365528c1deab5a5a764e531a8 | |
| tree | 5b7ca8b7657bc421da09aeec999fe96554c55047 | tree | snapshot |
| parent | 3b81fafa80f21a77eb4328648e30b87ec635fcaa | commit | diff |
| .github/workflows/formal.yml | diff | blob | history |